Conservative tightly-coupled simulations of stochastic multiscale systems

Conservative tightly-coupled simulations of stochastic multiscale systems

Article history: Received 23 March 2015 Received in revised form 29 January 2016 Accepted 1 February 2016 Available online 24 February 2016

Tightly coupled verification of pervasive systems

We consider the problem of verifying context-aware, pervasive, interactive systems when the interaction involves both system configuration and system use. Verification of configurable systems is more tightly coupled to design when the verification process involves reasoning about configurable formal models. The approach is illustrated with a case study: using the model checker SPIN [Hol03] and ...

A Distributed Multiscale Computation of a Tightly Coupled Model Using the Multiscale Modeling Language

Nature is observed at all scales; with multiscale modeling, scientists bring together several scales for a holistic analysis of a phenomenon. The models on these different scales may require significant but also heterogeneous computational resources, creating the need for distributed multiscale computing. A particularly demanding type of multiscale models, tightly coupled, brings with it a numb...

Binning for Efficient Stochastic Multiscale Particle Simulations

Improvement of Navigation Accuracy using Tightly Coupled Kalman Filter

In this paper, a mechanism is designed for integration of inertial navigation system information (INS) and global positioning system information (GPS). In this type of system a series of mathematical and filtering algorithms with Tightly Coupled techniques with several objectives such as application of integrated navigation algorithms, precise calculation of flying object position, speed and at...